Convolutional neural network for classification of nerve activity based on action potential induced neurochemical Signatures

Neural activity results in chemical changes in the extracellular environment such as variation in pH or potassium/ sodium ion concentration. Higher signal to noise ratio make neurochemical signals an interesting biomarker for closed-loop neuromodulation systems. For such applications, it is important to reliably classify pH signatures to control stimulation timing and possibly dosage. For example, the activity of the subdiaphragmatic vagus nerve (sVN) branch can be monitored by measuring extracellular neural pH. More importantly, gut hormone cholecystokinin (CCK)-specific activity on the sVN can be used for controllably activating sVN, in order to mimic the gut-brain neural response to food intake. In this paper, we present a convolutional neural network (CNN) based classification system to identify CCK-specific neurochemical changes on the sVN, from non-linear background activity. Here we present a novel feature engineering approach which enables, after training, a high accuracy classification of neurochemical signals using CNN

Swifterbant S4 (the Netherlands):Occupation and exploitation of a Neolithic levee site (c. 4300-4000 cal. BC)

This publication presents the results of the 2005-2007 excavations at Swifterbant S4, carried out by the Groningen INstitute of Archaeology. S4 is a well-preserved Neolthic wetland site (c. 4300-4000 cal. BC) located within the Swifterbant river system in the Netherlands. We present the landscape setting, the various find categories and the spatial patterns with three research themes in mind. Theme 1 concerns the environmental setting, subsistence and site function. We conclude that the Swifterbant hunter-gatherer-farmers exploited a mosaic-type landscape. Theme 2 deals with developments in site function during the exploitation and exploitation history of the site. This analysis leads to the observation that episodes of cultivation and settlement alternated at S4. Theme 3, the use of space, was difficult to study due to the fragmented nature of the excavation plan. This site monograph makes Swifterbant S4 the most comprehensively published site of the Swifterbant river system

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change

A new multichannel broadband NIRS system for quantitative monitoring of brain hemodynamics and metabolism during seizures

We present a newly developed multichannel broadband NIRS (or bNIRS) system that has the capacity to measure changes in light attenuation of 308 NIR wavelengths (610nm to 918nm) simultaneously over 16 different brain locations. To achieve this the instrument uses a lens based spectrometer with a front-illuminated CCD that has a sensor size of 26.8x26mm. This large CCD detector allows the simultaneous binning of 16 detector fibres. The software uses the UCLn algorithm to quantify the changes in oxy-, deoxy- haemoglobin concentration (HbO2, HHb) and oxidised cytochrome-coxidase (oxCCO) simultaneously over 16 different brain locations with 1second sampling rate. We demonstrate the use of the instrument in quantifying brain tissue oxygenation and metabolic activity simultaneously with electrical changes as measured with EEG in children with seizures

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools

We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concrete models of programs based on languages and execution traces. We have implemented the approach in Isabelle/HOL as a lightweight concurrency verification tool that supports reasoning about the control and data flow of concurrent programs with shared variables at different levels of abstraction. This is illustrated on two simple verification examples

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven University of Technology, and the participating Institutions are the Institute of Computer Science of Crete. the Swedish Institute of Computer Science, the Programmimg Research Group of the University of Oxford, and the Computer Science Departments of the University of Manchester, Imperial College. Weizmann Institute of Science, Eindhoven University of Technology, IMAG Grenoble. Catholic University of Nijmegen, and the University of Liege. This document contains the synopsis. and part of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June, 198S. The section on the state of the art (18 pages) and the full list of references (21 pages) of the original proposal have been deleted because of limitation of available space